Abstract Interpretation for Worst and Average Case Analysis
نویسندگان
چکیده
Interpretation for Worst and Average
منابع مشابه
Worst-case groundness analysis using definite boolean functions
This note illustrates theoretical worst-case scenarios for groundness analyses obtained through abstract interpretation over the abstract domains of definite (Def) and positive (Pos) Boolean functions. For Def, an example is given for which any Def-based abstract interpretation for groundness analysis follows a chain which is exponential in the number of argument positions as well as in the num...
متن کاملWorst-Case Groundness Analysis Using Positive Boolean Functions
This note illustrates a theoretical worst-case scenario for groundness analyses obtained through abstract interpretation over the abstract domain of positive Boolean functions. A sequence of programs is given for which any P os-based abstract interpretation for groundness analysis follows an exponential chain. Another sequence of programs is given for which a state-of-the-art implementation bas...
متن کاملAbstract Interpretation of Binary Code with Memory Accesses using Polyhedra
In this paper we propose a novel methodology for static analysis of binary code using abstract interpretation. We use an abstract domain based on polyhedra and two mapping functions that associate polyhedra variables with registers and memory. We demonstrate our methodology to the problem of computing upper bounds to loop iterations in the code. This problem is particularly important in the dom...
متن کاملCompositional Separate Modular Static Analysis of Programs by Abstract Interpretation
The purpose of this paper is to present four ba sic methods for compositional separate modular static analy sis of programs by abstract interpretation: • Simplification-based separate analysis; • Worst-case separate analysis; • Separate analysis with (user-provided) interfaces; • Symbolic relational separate analysis; as well as a fifth category which is essentially obtained by composition of...
متن کاملModular Static Program Analysis
The purpose of this paper is to present four basic methods for compositional separate modular static analysis of programs by abstract interpretation: – simplification-based separate analysis; – worst-case separate analysis; – separate analysis with (user-provided) interfaces; – symbolic relational separate analysis; as well as a fifth category which is essentially obtained by composition of the...
متن کامل